A Denotational Semantics Methodology (DSM) Approach for Business Processes Modeling
نویسندگان
چکیده
منابع مشابه
Methodology for Modeling and Analysis of Business Processes (MMABP)
This paper introduces the methodology for modeling business processes. Creation of the methodology is described in terms of the Design Science Method. Firstly, the gap in contemporary Business Process Modeling approaches is identified and general modeling principles which can fill the gap are discussed. The way which these principles have been implemented in the main features of created methodo...
متن کاملA Denotational Semantics for Circus
Circus specifications define both data and behavioural aspects of systems using a combination of Z and CSP. Previously, a denotational semantics has been given to Circus; however, as a shallow embedding of Circus in Z, it was not possible to use it to prove properties like the refinement laws that justify the distinguishing development technique associated with Circus. This work presents a fina...
متن کاملA Denotational Semantics for Curry
We aim to build a denotational semantics for the functional logic programming language Curry, to be used for parametricity and logical relation arguments. First, we investigate only a subset of Curry, but include the important features that separate Curry from a just functional language. We compare a poweralgebraic and a multialgebraic semantic approach and motivate our decision for the multial...
متن کاملA Denotational Semantics for Prolog
analysis is nite, which was not the case in our previous proposal [13]. The overheadneeded for reaching an improved precision essentially consists in the use of observability andkernel constraints and of their success and failure conditions.We can now consider the already mentioned paper [11]. A big di erence arises lookingfor instance at the way they handle clause composition a...
متن کاملA Role-Based Approach for Modeling Flexible Business Processes
As organisation environments become more complex, business process models have to provide means to suit the flexibility and adaptability requirements at any given time. A rolebased approach for modelling business processes is a natural way to reflect organisational structures and to highlight responsibilities assigned to actors. The purpose of this paper is to improve this kind of approach in o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Applied Information Systems
سال: 2011
ISSN: 2249-0868
DOI: 10.5120/ijais-3649